Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
181	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus
182	Models and termination of proof-reduction in the λΠ-calculus modulo theory Gilles Dowek∗ Abstract We define a notion of model for the λΠ-calculus modulo theory, a notion of superconsistent theory, and prove that pr Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-10-09 11:42:35 Mathematical logic Symbol Model theory Function Interpretation Heyting algebra Natural deduction Mathematics Logic Metalogic
183	THE REDUCED FORM: A SIMPLE APPROACH TO INFERENCE WITH WEAK INSTRUMENTS VICTOR CHERNOZHUKOV AND CHRISTIAN HANSEN† Abstract. In this paper, we consider simple and practical methods for performing heteroskedasticity and a Add to Reading List Source URL: faculty.chicagobooth.edu Language: English - Date: 2006-03-07 15:17:08 Regression analysis Parametric statistics Statistical inference Instrumental variable Linear regression Simultaneous equations model T-statistic Heteroscedasticity Autocorrelation Statistics Econometrics Estimation theory
184	BigCube: A Metamodel for Managing Multidimensional Data Ganesh Viswanathan & Markus Schneider University of Florida, Gainesville, FL 32611, USA {gv1, mschneid}@cise.ufl.edu Abstract New emerging scientific applications i Add to Reading List Source URL: www.cise.ufl.edu Language: English - Date: 2010-07-05 11:15:47 Database management systems Data warehousing Information technology management Database theory Data model Online analytical processing Dimensional modeling Database Model-driven architecture Data management Science Computing
185	Microsoft Word - Abstract_Meyer Add to Reading List Source URL: www.statistik.tu-dortmund.de Language: English - Date: 2014-07-04 03:26:33 Non-parametric statistics Bayesian statistics Stochastic processes Bootstrapping Semiparametric model Resampling Dirichlet process Bayesian inference Statistics Statistical inference Statistical theory
186	What ontological assumptions underpin David Cameron’s ‘modernisation’ of Conservative Party welfare policy? Jack Newman Abstract Add to Reading List Source URL: www.polis.leeds.ac.uk Language: English - Date: 2015-01-14 07:35:06 Information science Knowledge representation Technical communication International relations theory Ontology Norman Fairclough Rational choice theory Economic model Neoliberalism in international relations Science Knowledge Ethology
187	Monopolistic competition: the Dixit-Stiglitz-Spence model Fr´ed´eric Robert-Nicoud October 23, 2012 Abstract The workhorse of modern Urban Economics, International Trade, Economic Growth, Add to Reading List Source URL: frobertnicoud.weebly.com Language: English - Date: 2012-10-23 05:12:15 Sigma-algebra Metalogic Model theory Group theory
188	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-07-30 04:18:35 Algebra Information science Knowledge representation Technical communication Metalogic Ontology Module Structure Elementary class Mathematics Model theory Abstract algebra
189	Does Competition Make Firms More E¢ cient? Richard T. Holden April 2009 Abstract A large literature considers the impact of product market competition on the internal e¢ ciency of …rms–what Leibensteincalle Add to Reading List Source URL: research.economics.unsw.edu.au Language: English - Date: 2014-01-21 15:05:10 Organizational theory Principal–agent problem Mathematics Economic model Ring Algebra Abstract algebra Asymmetric information Market failure
190	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory

UPDATE